Γ-半环的右(左)算子环、右(左)算子半环及素理想

本文对Γ-半环建立了右(左)算子半环和右(左)算子环,并讨论了它们的素理想之间的对应。     

数学的研究特点

通过对圆周率问题、公钥匙加密算法问题、光谱线的红向移动问题等的分析,探讨了纯数学研究的特点。     

利用正则表示式描述和设计时序机

用正则表示式来描述时序机的逻辑特性是一种十分有吸引力的数学方法.可是现有文献所提供的这类方法有种种条件,这就大大限制了它的应用.本文试图摆脱这些约束,构造一种普遍适用的正则描述法,并用它来设计时序机.     

两个数列中的素数

运用初等方法讨论了两个数列中的素数.     

关于乘法模的弱准素子模

讨论了乘法模的弱准素子模的性质.并证明了设R是具有单位元的交换环,M是酉R-模.(1)如果M是乘法模,N是M的弱准素子模,则√N是M的素子模;(2)设M是乘法模,L是M的子模,f:M-L是满同态.如果N是L的弱准素子模,则f-1(N)是M的弱准素子模.     

关于不定方程4x~2-py~2=1

研究了二次不定方程4x2-py2=1(p为奇素数),对于特例p=m2±2(m为正奇数),利用Pell方程x2-py2=1的正整数解公式得到了原方程的所有正整数解.另外还证明了p=1,5(mod8)时方程4x2-py2=1无正整数解.     

有限单群的一些数量性质

针对文献中关于素图分类存在的问题,利用单群的孤立点集对其进行了修正,并对原结论给出了一个简洁证明。为了刻画所有的交错单群,采取单群和谱相结合的方法,可知交错单群的谱与其他单群不同。同时,还得到一个有趣的数量结果,即阶能被素数p整除的最小的非交换单群是Al t5或A1(p)。这些成果丰富了有限群的数量刻画这一专题内容。     

模n的剩余类环的单位群U（Z_n）

利用初等数论中单位群U（Zn）的结构定理,证明了对于模n的剩余类环Zn,非单位元的阶均为2的单位群有且仅有U（Z3）,U（Z4）,U（Z6）,U（Z8）,U（Z12）,U（Z24）;非单位元的阶均为其他素数p（p〉2）的单位群不存在;非单位元的阶均为2的某个方幂的单位群有U（Z2apa11…pall）,其中a,ai是非负整数,且0≤ai≤1,每个pi为费马素数.最后利用单位群讨论了二次同余方程x2≡1（mod n）的解的个数.     

关于Diophantine方程y~2=px(x~2+2)

对于Diophantine方程y2=px(x2+2),这里p为奇素数,证明了:当p=2593时,它有唯一的正整数解(x,y)=(72,31116).     

梅森素数与牛顿迭代

梅森素数是数论研究的一项重要内容,也是当今科学探索的热点和难点之一。卢卡斯定理是判别梅森数是否为素数的第一个重要定理,卢卡斯-雷默测试是在卢卡斯定理基础上改进后的现在已知的检验梅森数素性的最好方法。牛顿迭代法可以用来求平方根√n的近似值。本文首先揭示了卢卡斯定理与√5的牛顿迭代之间的惊人联系,然后揭示了卢卡斯-雷默测试与√3的牛顿迭代之间的惊人联系,继而揭示了梅森素数的一个同余性质与√4的牛顿迭代之间的惊人联系,又通过√2的牛顿选代得出了梅森素数的一个新的同余性质,并猜测由该性质产生的数列具有与斐波那契数列相类似的漂亮性质,接着通过√6的牛顿迭代提出了p为4k＋1形素数时梅森数Mp为素数所应满足的充要条件的猜想,最后提出了基于梅森素数同余性质的梅森数素性检验新方法的猜想。